// INTENTION_TEXT: Simplify negated '>' expression to '<='
fun test(n: Int) {
    !<caret>(0 > 1)
}